#include <pio.h>
#include <std.h>
#include <system.h>

/*Programmable interrupt controller*/

#define PIC1_ICW1 0x20

static inline void write_icw1